InforLorV4, Main, Exploration, bibRecord, 004F00

A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets

Identifieur interne : 004F00 ( Main/Exploration ); précédent : 004E99; suivant : 004F01

A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets

Auteurs : Bernard Chauvière [France] ; Dominique Geniet [France] ; René Schott [France]

Source :

RBID : Hal:inria-00115123

English descriptors

mix :
- fixed priority, multiprocessor, real-time, scheduling.

Abstract

We present a new method, called PFX, for determining fixed priority configurations on multiprocessor targets. PFX follows an off-line approach: our constructive process uses an inductive analysis of the whole set of possibilities and the exact evolution parameters of tasks instead of response times. Experimentations show that PFX is very efficient on multiprocessor systems and subsumes RM, DM as well as ED, and also found configurations only schedulable by PFX : using RM, DM, ED or LL lead to miss some deadlines !

Url:

https://hal.inria.fr/inria-00115123

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000352
to stream Hal, to step Curation: 000352
to stream Hal, to step Checkpoint: 003E12
to stream Main, to step Merge: 005065
to stream Main, to step Curation: 004F00

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets</title>
<author><name sortKey="Chauviere, Bernard" sort="Chauviere, Bernard" uniqKey="Chauviere B" first="Bernard" last="Chauvière">Bernard Chauvière</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24191" status="VALID"><orgName>Laboratoire d'Informatique Scientifique et Industrielle</orgName>
<orgName type="acronym">LISI</orgName>
<desc><address><addrLine>Téléport 2 1 avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lisi.ensma.fr</ref>
</desc>
<listRelation><relation active="#struct-54493" type="direct"></relation>
<relation active="#struct-300361" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-54493" type="direct"><org type="institution" xml:id="struct-54493" status="VALID"><orgName>Université de Poitiers</orgName>
<desc><address><addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-poitiers.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300361" type="direct"><org type="institution" xml:id="struct-300361" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et d'Aérotechnique</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Poitiers</settlement>
<region type="old region" nuts="2">Poitou-Charentes</region>
<region type="region" nuts="2">Nouvelle-Aquitaine</region>
</placeName>
<orgName type="university">Université de Poitiers</orgName>
</affiliation>
</author>
<author><name sortKey="Geniet, Dominique" sort="Geniet, Dominique" uniqKey="Geniet D" first="Dominique" last="Geniet">Dominique Geniet</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24191" status="VALID"><orgName>Laboratoire d'Informatique Scientifique et Industrielle</orgName>
<orgName type="acronym">LISI</orgName>
<desc><address><addrLine>Téléport 2 1 avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lisi.ensma.fr</ref>
</desc>
<listRelation><relation active="#struct-54493" type="direct"></relation>
<relation active="#struct-300361" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-54493" type="direct"><org type="institution" xml:id="struct-54493" status="VALID"><orgName>Université de Poitiers</orgName>
<desc><address><addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-poitiers.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300361" type="direct"><org type="institution" xml:id="struct-300361" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et d'Aérotechnique</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Poitiers</settlement>
<region type="old region" nuts="2">Poitou-Charentes</region>
<region type="region" nuts="2">Nouvelle-Aquitaine</region>
</placeName>
<orgName type="university">Université de Poitiers</orgName>
</affiliation>
</author>
<author><name sortKey="Schott, Rene" sort="Schott, Rene" uniqKey="Schott R" first="René" last="Schott">René Schott</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23" status="OLD"><orgName>Institut Élie Cartan de Nancy</orgName>
<orgName type="acronym">IECN</orgName>
<date type="end">2012-12-31</date>
<desc><address><addrLine>Université Henri Poincaré, Campus Scientifique, boulevard des Aiguillettes, 54000 Vandoeuvre-les-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.iecn.u-nancy.fr/</ref>
</desc>
<listRelation><relation active="#struct-300293" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation name="UMR7502" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300293" type="direct"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="direct"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="direct"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7502" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00115123</idno>
<idno type="halId">inria-00115123</idno>
<idno type="halUri">https://hal.inria.fr/inria-00115123</idno>
<idno type="url">https://hal.inria.fr/inria-00115123</idno>
<date when="2007">2007</date>
<idno type="wicri:Area/Hal/Corpus">000352</idno>
<idno type="wicri:Area/Hal/Curation">000352</idno>
<idno type="wicri:Area/Hal/Checkpoint">003E12</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">003E12</idno>
<idno type="wicri:Area/Main/Merge">005065</idno>
<idno type="wicri:Area/Main/Curation">004F00</idno>
<idno type="wicri:Area/Main/Exploration">004F00</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets</title>
<author><name sortKey="Chauviere, Bernard" sort="Chauviere, Bernard" uniqKey="Chauviere B" first="Bernard" last="Chauvière">Bernard Chauvière</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24191" status="VALID"><orgName>Laboratoire d'Informatique Scientifique et Industrielle</orgName>
<orgName type="acronym">LISI</orgName>
<desc><address><addrLine>Téléport 2 1 avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lisi.ensma.fr</ref>
</desc>
<listRelation><relation active="#struct-54493" type="direct"></relation>
<relation active="#struct-300361" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-54493" type="direct"><org type="institution" xml:id="struct-54493" status="VALID"><orgName>Université de Poitiers</orgName>
<desc><address><addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-poitiers.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300361" type="direct"><org type="institution" xml:id="struct-300361" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et d'Aérotechnique</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Poitiers</settlement>
<region type="old region" nuts="2">Poitou-Charentes</region>
<region type="region" nuts="2">Nouvelle-Aquitaine</region>
</placeName>
<orgName type="university">Université de Poitiers</orgName>
</affiliation>
</author>
<author><name sortKey="Geniet, Dominique" sort="Geniet, Dominique" uniqKey="Geniet D" first="Dominique" last="Geniet">Dominique Geniet</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-24191" status="VALID"><orgName>Laboratoire d'Informatique Scientifique et Industrielle</orgName>
<orgName type="acronym">LISI</orgName>
<desc><address><addrLine>Téléport 2 1 avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lisi.ensma.fr</ref>
</desc>
<listRelation><relation active="#struct-54493" type="direct"></relation>
<relation active="#struct-300361" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-54493" type="direct"><org type="institution" xml:id="struct-54493" status="VALID"><orgName>Université de Poitiers</orgName>
<desc><address><addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-poitiers.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300361" type="direct"><org type="institution" xml:id="struct-300361" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et d'Aérotechnique</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Poitiers</settlement>
<region type="old region" nuts="2">Poitou-Charentes</region>
<region type="region" nuts="2">Nouvelle-Aquitaine</region>
</placeName>
<orgName type="university">Université de Poitiers</orgName>
</affiliation>
</author>
<author><name sortKey="Schott, Rene" sort="Schott, Rene" uniqKey="Schott R" first="René" last="Schott">René Schott</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23" status="OLD"><orgName>Institut Élie Cartan de Nancy</orgName>
<orgName type="acronym">IECN</orgName>
<date type="end">2012-12-31</date>
<desc><address><addrLine>Université Henri Poincaré, Campus Scientifique, boulevard des Aiguillettes, 54000 Vandoeuvre-les-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.iecn.u-nancy.fr/</ref>
</desc>
<listRelation><relation active="#struct-300293" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation name="UMR7502" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300293" type="direct"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="direct"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="direct"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7502" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>fixed priority</term>
<term>multiprocessor</term>
<term>real-time</term>
<term>scheduling</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We present a new method, called PFX, for determining fixed priority configurations on multiprocessor targets. PFX follows an off-line approach: our constructive process uses an inductive analysis of the whole set of possibilities and the exact evolution parameters of tasks instead of response times. Experimentations show that PFX is very efficient on multiprocessor systems and subsumes RM, DM as well as ED, and also found configurations only schedulable by PFX : using RM, DM, ED or LL lead to miss some deadlines !</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
<li>Nouvelle-Aquitaine</li>
<li>Poitou-Charentes</li>
</region>
<settlement><li>Nancy</li>
<li>Poitiers</li>
</settlement>
<orgName><li>Institut national polytechnique de Lorraine</li>
<li>Université Nancy 2</li>
<li>Université de Lorraine</li>
<li>Université de Poitiers</li>
</orgName>
</list>
<tree><country name="France"><region name="Poitou-Charentes"><name sortKey="Chauviere, Bernard" sort="Chauviere, Bernard" uniqKey="Chauviere B" first="Bernard" last="Chauvière">Bernard Chauvière</name>
</region>
<name sortKey="Geniet, Dominique" sort="Geniet, Dominique" uniqKey="Geniet D" first="Dominique" last="Geniet">Dominique Geniet</name>
<name sortKey="Schott, Rene" sort="Schott, Rene" uniqKey="Schott R" first="René" last="Schott">René Schott</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004F00 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 004F00 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:inria-00115123
   |texte=   A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets

A New Method for Determining Fixed Priority Configurations for Real-Time Systems on Multiprocessor Targets

Source :

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri